$\forall$${\it es}$:ES, $P$, $Q$:(E$\rightarrow\mathbb{P}$), $f$:(\{$e$:E$\mid$ $P$($e$)\} $\rightarrow$\{$e$:E$\mid$ $Q$($e$)\} ). $Q$ $\leftarrow-$$f$$--$ $P$ $\in$ $\mathbb{P}$